v. 1. Logical foundations -- v. 2. Deduction methodologies -- v. 3. Nonmonotonic reasoning and uncertain reasoning -- v. 4. Epistemic and temporal reasoning -- v. 5. Logic programming
Notes
some texts might cut due to tight binding inherent from source.
Access-restricted-item
true
Addeddate
2022-09-08 18:39:46
Associated-names
Gabbay, Dov M., 1945-; Hogger, Christopher John; Robinson, J.A. (John Alan)